Abstract logic

Results: 1693



#Item
61

Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

Add to Reading List

Source URL: www.lix.polytechnique.fr

- Date: 2015-10-19 12:38:16
    62

    Transfer in Reinforcement Learning via Markov Logic Networks Lisa Torrey, Jude Shavlik, Sriraam Natarajan, Pavan Kuppili, Trevor Walker Computer Sciences Department University of Wisconsin-Madison Abstract

    Add to Reading List

    Source URL: pages.cs.wisc.edu

    - Date: 2008-05-14 11:59:37
      63

      The Iris 3.0 Documentation http://plv.mpi-sws.org/iris/ December 12, 2016 Abstract This document describes formally the Iris program logic. Every result in this document has

      Add to Reading List

      Source URL: plv.mpi-sws.org

      - Date: 2016-12-12 11:17:52
        64

        Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich MIT CSAIL Abstract

        Add to Reading List

        Source URL: pdos.csail.mit.edu

        - Date: 2016-12-17 14:43:18
          65

          Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int

          Add to Reading List

          Source URL: www2.tcs.ifi.lmu.de

          - Date: 2014-09-02 06:12:08
            66

            Intuitionistic Completeness of First-Order Logic Robert Constable and Mark Bickford October 7, 2011 Abstract We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula

            Add to Reading List

            Source URL: www.nuprl.org

            - Date: 2011-10-08 01:03:35
              67

              Natural Logic for Textual Inference Bill MacCartney Stanford University Abstract

              Add to Reading List

              Source URL: nlp.stanford.edu

              - Date: 2007-06-14 19:22:10
                68

                Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri INRIA, France http://kaustuv.chaudhuri.info Abstract. Linear logic is increasingly being used as a tool for communicating reasoning agents in domains such as

                Add to Reading List

                Source URL: kaustuv.chaudhuri.info

                - Date: 2012-11-06 02:56:18
                  69

                  Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole

                  Add to Reading List

                  Source URL: www.lix.polytechnique.fr

                  - Date: 2013-05-22 23:44:30
                    70

                    Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich MIT CSAIL Abstract

                    Add to Reading List

                    Source URL: sigops.org

                    - Date: 2015-09-14 18:51:05
                      UPDATE